1

Modeling of state transition rules and its application

Year:
2010
Language:
english
File:
PDF, 419 KB
english, 2010
2

Spatial ordering of messages in a cyclic architecture

Year:
2010
Language:
english
File:
PDF, 415 KB
english, 2010
4

On single courier problem

Year:
2008
Language:
english
File:
PDF, 156 KB
english, 2008
7

Research notes: A variable frequency oscillator

Year:
1975
Language:
english
File:
PDF, 44 KB
english, 1975
12

Application of TLRO to dining philosophers problem

Year:
2010
Language:
english
File:
PDF, 437 KB
english, 2010
13

Modeling fairness and starvation in concurrent systems

Year:
2007
Language:
english
File:
PDF, 295 KB
english, 2007
14

Application of TLRO to refute an incorrect mutual exclusion algorithm

Year:
2012
Language:
english
File:
PDF, 531 KB
english, 2012
17

Some Investigations on the Feed-points Displaced Dipole

Year:
1973
Language:
english
File:
PDF, 303 KB
english, 1973
18

Fairness and conspiracy concepts in concurrent systems

Year:
2009
Language:
english
File:
PDF, 514 KB
english, 2009
21

Switched-Capacitor Integrators Using Single Unity-Gain Amplifier

Year:
1982
Language:
english
File:
PDF, 294 KB
english, 1982
22

Adding the leads-to operator to Dijkstra's calculus

Year:
2004
Language:
english
File:
PDF, 1004 KB
english, 2004